密码协议的π -网形式化描述和分析

π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式化模型,而且对于任意的一个密码协议,都可以将其模块化,本文还提出了密码协议的鉴别性和安全性的验证机制.通过对Needham-Schroeder协议的实例分析,对密码协议的密钥交换和鉴别性,以及协议存在的漏洞,进行了有效的形式化描述和分析.     

人类基因ZNF569结构域在MAPK信号途径中的作用

有丝分裂原活化蛋白激酶（MAPK）信号途径是细胞信号转导过程的重要组成部分，MAPK将膜转导蛋白与其细胞内的关键调控靶蛋白联系起来，从而介导胞外的多种信号并将这些信号级联放大后传递给相应的下游因子，通过激活包括SRE，ELK-1，AP-1等在内的多种转录因子，最终开启细胞特定功能基因的表达，锌指蛋白是人类最大的基因家族之一，其蛋白产物主要通过与DNA相互作用而起转录因子作用，调节靶基因的表达以适应生物体发育、分化、成熟过程的需要，运用MAPK信号途径对锌指基因ZNF569的结构域进行了转录活性分析，分析表明在COS-7细胞中过表达ZNF569蛋白可以使MAPK信号途径的两个下游转录因子AP-1和SRE的转录抑制活性显著下降，ZNF569在核质内的亚细胞定位分析进一步证明了其作为转录因子的作用，对ZNF569的分段report assays分析表明，ZNF569可能通过KRAB框和C2H2锌指结构域行使其抑制转录的作用，这些结果表明，ZNF569可以通过MAPK信号途径参与了对细胞生命活动的调控过程。     

责任准备金的最优投资计划

给出两种责任准备金的投资模型—单纯存款模型和既可存款又可购买国债模型,都使原本无收益的保险基金产生了经济效益.并从中找到一个最优的投资方式—既存款又购买国债.最后用一个简单的实例模拟,取得良好的效果.期望本模型为我国的保险基金提供可以借鉴的方法.     

基于多目标遗传算法的高层建筑概念设计优化

在高层建筑方案概念设计阶段,同时考虑了建筑、结构、设备等多种因素,并运用多目标遗传算法及MATLAB编程,对高层建筑概念设计进行优化.算法中的随机变权重因子可以更好地体现不同决策的侧重倾向,从而更好地符合实际需要.以高层办公建筑为例,提出了具体的方法和实施步骤,所得结果可为工程设计人员提供有益的借鉴.     

建筑工程设计过程规划研究

基于信息流的模糊设计结构矩阵,以矩阵形式建立建筑工程设计过程的动态模型并进一步提出了一种建筑产品开发过程优化重组的方法.对其模型进行研究,从而得出一个可控制的,更加有效的设计过程.     

随机过程Wn(x,y)的局部渐近性质

本文讨论了随机过程Wn（x，y）的局部渐近性质，得出y在点y0的邻域取值时，过程弱收敛于Gaussian过程．     

基于改进Paik型Hoptield网络的图像复原

针对图像复原提出了一种改进的Paik型Hopfield网络神经元状态变化规则,在此基础上详细讨论了全并行算法的收敛性、残值误差和能量变化,并依据"由粗至精"的思想和相邻精度层能量变化差估计提出了一种改进迭代算法.仿真实验表明该方法能无限逼近能量极小点,大大提高了Paik型Hopfield网络的精度和收敛速度.     

红外导引头抗人工干扰性能评估方法

红外导引头抗人工干扰性能评估是目前红外制导武器系统研究中迫切需要解决的问题。本文提出采用层次分析法，充分利用导引头研制过程中各阶段的实验数据，综合的评估红外导引头抗干扰性能。文章采用单一准则构造了判断矩阵，初步导出了各研制阶段实验数据的权重。最后以某型号红外导弹为例，评估出它的综合抗干扰性能。     

FORWARD-BACKWARD STOCHASTIC DIFFERENTIAL EQUATIONS, LINEAR QUADRATIC STOCHASTIC OPTIMAL CONTROL AND NONZERO SUM DIFFERENTIAL GAMES

In this paper, we use the solutions of forward-backward stochastic differential equations to get the explicit form of the optimal control for linear quadratic stochastic optimal control problem and the open-loop Nash equilibrium point for nonzero sum differential games problem. We also discuss the solvability of the generalized Riccati equation system and give the linear feedback regulator for the optimal control problem using the solution of this kind of Riccati equation system.     

泉州市洛江新城城市功能分区规划中的概念设计

在阐述了泉州洛江新城发展背景和目标的基础上,根据规划新城区城市功能以产品配送、居住休闲为主的原则,结合自然山水特点,设计了以产业轴和滨江生活轴为代表的用地功能布局、富有地方特色的城市景观、流畅的交通网络,进而强调了城市新区概念规划应关注新老城区之间及新区内部的功能协调,并注重自然山水和文化底蕴相融合,以达到区域经济稳步增长、生活居住环境日益改善的效果.